@article{yang2021synthesis,
  title={Synthesis-guided adversarial scenario generation for gray-box feedback control systems with sensing imperfections},
  author={Yang, Liren and Ozay, Necmiye},
  journal={ACM Transactions on Embedded Computing Systems (TECS)},
  volume={20},
  number={5s},
  pages={1--25},
  year={2021},
  publisher={ACM New York, NY}
}